Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
๐Ÿ’งLiquid Types
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.orgยท16h
๐ŸŽ™๏ธWhisper
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท19hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท5hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐Ÿฆ€Rust Macros
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐Ÿ”ฉSystems Programming
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท21hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.comยท17mยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท2dยท
ฮปLambda Encodings
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.comยท2d
๐Ÿฆ Malware Analysis
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.nameยท12hยท
Discuss: Hacker News
ฮปLambda Formalization
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.comยท18hยท
๐Ÿฆ€Rust Macros
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ”’Type Safety
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.comยท10h
๐Ÿ•ต๏ธVector Smuggling
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท1d
๐ŸŒ€Brotli Dictionary
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.orgยท11hยท
๐Ÿ”—Functional Compilers
Flag this post